also make “default” safe