small html tweaks, bug fixes