improve error reporting for mismatched completion set

Following up on issue #80. Do you like the new error message?