That's right, fixed in my local version. I will force push it later.