Fix some minor issues in the Ivory user guide

(SOMEONE accidentally a word.)