More tiny changes. digitFSA works, but hasn't been tested.