misc whitespace cosmetics