bugfix, execution time measuring

was measured wrong if the user changed the active document with b.doc()