fix for an undiscovered bug