Tidy up some MiniProfiler-related stuff