small tweaks to TuringMachine