Small source code formatting tweaks