A little clean up for problem 15