a few code formatting tweaks