Parameter names in HTML manual pages were incorrectly replaced by dashes. This seems to be the easiest fix.