``defaultLevels()`` twice?