In the spirit of Paul's other review comment, we should probably change this to an assert and lose the repetitive check file.