Fix __WFI parenthesis bug.