bug fix and man page update