Fixing bad markup in man page