fix two printf format strings