Trivial typo fixes in comments.
Use new user-error instead of error for expected undo errors.