minor style fixes, issue #5