Fixing a small bug