minor enhancements on man page