fix initialisation of machine pointers