Ahh I see. That would be something worth adding as a comment explaining why this is the case.