minor error corrected

Something which should have been changed in the previous revision wasn't