Fixed up htmlErrorUsers so it does not throw an error anymore in our post-compilation world.