The bug is fixed.