Clarify that `--ABORT--` has to appear as a separate token. (#32)