some whitespace tweaks