Misc fixes, and new getter for HTML