undoing an unspotted problem in the previous commit