remove redundant whitespaces; not entirely correct though. see #4