minor fixes to the machine integers