White-space cleanup.