Fixing a too-soon accidental commit.

Restoring that extra line.  Don't know what it does!  Might be important maybe.