Fixed a warning and actually execute the Thumb handlers.