Fixing html docs