Slight updates to man page