The case instance == INSTANCE_DEFAULT should normally not happen, but let's be a bit verbose if it does.