Fix htmlc3