wrong syntax-table entry for dashes, which meant "check-true" was
highlighted incorrectly