fix one more whitespace problem