Fix white-space mix-up.