This bug is fixed!