minor corrections to make printf statements consistent with other examples