Fix case-sensitivity bug in last commit.