Minor: remove some whitespace