Minor improvements to test case formatter