small changes, switching machines