Small fix

I thought I had already dealt with this error, but it cropped up again.
I must not have saved previously.