Additional format fixes for problem 1