tweaked debug mode of doc assembler