Minor spacing tweak, code style fix