Fix type on man asciidoc