Fix minor bug introduced with last commit.