minor tweak to recent Debug/Trace checkin