a couple of code formatting tweaks