don't reference mantle's copy of the names