fixing ex_5_13