A small bug is fixed.