Fix a few minor nits.