included some HTML stubs