small changes needed for generating html documentation