some whitespace clean-up