Fixing bug introduced by last commit.  :-\