Reverted the change to ARM.py from dc68b76

Fixes one of Emilio's problems :D