removed redundant whitespace, related to #2978