Apparently, there never was a bug