Fixed in [082c02a80c] (also ticket [53ed528478dbc42]).