That was a small bug, it should not be reproducible now, please check!