fix example 13