hmmm jshint should warn about this....
fix minor mini profiler edge case