This is the right bugfix that was meant to be uploaded in the previous push