fix mismatches in example timings