fix WMI code gen bug exposed by bug fix to non-protocol ports