minor change to man page