Fix minor bug introduced in the last commit.