simplify "man" using printf