Cosmetic: sanitization of indentation