Hi

     When restoring versioned namespace feature I forgot to check for 
the pretty printer tests which are now broken.

     Here is the patch to fix those. Tested under Linux x86_64 normal 
and versioned namepace modes, ok to commit ?

François