Small cleanups.
Update man page.