fixed another problem with timings output