fixed reporting of total time of queries and some cosmetics

also updated the correct file instead of pull #209