Oops, a small fix to my last fix (mea culpa)