The aforementioned bug appears to be fixed