A few minor style enhancements.