slight updates to help html conversion