You are right, that should happen here.