minor fix to arm and thumb portability