CPS: fixed a small typo!