Fixes html doc markup