Fix two minor glitches in manpage formatting.