Changes here, but no changes in machobj.c ?