Fix stupid error introduced in last commit.