fix man page coloring