Fix to earlier fix :(

Somehow, the last change to this file was not what was intended (or tested.)