Bugfix in HTML colors