fixup style in decimal code