sanity checked correctness for input files; hacked around parsing issue