Squashed a small bug