This bug is fixed.