fix format bug in man page