- Minor style(9) fix.
- Bring a comment up to date.