Verified Commit fdccf39b authored by Guinness's avatar Guinness

Fix a formatting in a test

parent 53445ca8