Option 'profiler': bugfix timing