minor fixes in generating html documentation