Fix hard error introduced in last commit.