You're right. Just pushed a fix :)