That's a mistake I had already fixed (but not pushed)... I guess it does not mind anymore...