synchronising machines, small Thesis changes