Fix build failure induced by previousv slightly erroneous commit.

There are, as it turns out, disavantages to really fast builds.  You
can miss errors if they scroll by too rapidly...