This is just a simplification. It does not change the behavior.