Right, it also agrees with terminology used elsewhere in the paragraph. I fixed it in #393.