fixed a small bug in todays earlier release