You are right. I will fix that, on the next push.