trace command remains visible after being hidden (bug?)

The following series of commands shows that hiding a command sometimes
doesn't work. In this case, [trace] remains accessible (though it's not
producing useful output anymore, and accepts anything as an argument).

Is it reproducible? Should I file a bug report?

Greetings,

Erik Leunissen
==============


% proc traceProc {args} {puts stderr $args}
% trace add execution pid leave traceProc
% pid
pid 0 4408 leave
4408
% interp hide {} trace
% trace info execution pid ;# <----
info execution pid
% trace                    ;# <----

% parray tcl_platform
tcl_platform(byteOrder) = littleEndian
tcl_platform(machine)   = i686
tcl_platform(os)        = Linux
tcl_platform(osVersion) = 2.4.21-202-athlon
tcl_platform(platform)  = unix
tcl_platform(user)      = erik
tcl_platform(wordSize)  = 4
% set tcl_patchLevel
8.4.5


--
leunissen@       nl | Merge the left part of these two lines into one,
e.          hccnet.   | respecting a character's position in a line.