Small corrections to man pages