White-space pedantry