Before revision: Such a lake is officially nameless though it may have one or more unofficial names used by locals .
After revision: Such a lake is officially nameless though it may have one or more unofficial names used locally .