Fix comment broken in last commit.