Fixing missing highlight in man page