Fix bogus docs