Thanks for your comment. Currently this code is actually not used (protected by #ifdef DEBUG) so we will put a low priority on this one.