Fix an error in Ex_16_2_6.java