Minor bug fix, minor manpage update.