improved formatting for ex9_13.cpp