fixed the format of a couple of test files