Fix display of device tags in internal profiler [Alex Jackson]