Fix a couple of style problems