Minor fixes to HTMLConstructs