Spot repairs

Obsolète