Fix formatting in problem 13