small cleanup in Profiler::getProfileID()