Formatting and an extra test case