Fix syntax issue with arm-when-zone-unfaulted.js