some minor style issues