Tiny, pedantic typo change.