Fix minor THUMB bug