Some cleanup in the manfile.