You are right. Done in ce395ac,