Fix a couple of style nits.