fixing some minor style issues