percent formatter in the example code, since I reference it