[BUG #8614] regard pretty-print also