fixing a warning in ex_5_15, and adding ex_5_16