Bug fixes in Turing Machine Library