a small bug is fixed