WyC: possible fix for problem with FlowTypeChecker.