Fix one occurence missing from previous commit.