Ok, but this is a technicality. Spell-checkers have slowly evolved into grammar checkers and what people really want is error correction. Whether people call it a spell checker a minor language issue (and the kind of things humans do all the time).
When teaching for your dictionary, ask: "is it obvious what they mean if I'm not being pedantic?"