toclet #984 : fix deadlock introduced in -4 (ticket #972)