Minor touch-ups

Fixed typos, etc.