Fixed little HTML doc error