Fixed in ba50877e8c0742d8ac9c19b8f553f54ec1648ce9 and deployed. Sorry if we ignored the bug for so much time. ciao cate