Small corrections to the man pages