minor tweaks to whitespace