Fixed some printing issues with dipl_dec, other small changes