Remove whitespace. See #1257.