added test case, formatting