PE-834, PE-424: remove extra whitespace