[whatwg] 5.7.6 The application cache selection algorithm

[Michael Nordman]

Just need a clarification...

* If the flag document-is-markup is true, and document was loaded from
an application cache, and there is no manifest URL
* If the flag document-is-markup is true, If document was loaded from
an application cache, and the URL of the manifest of that cache's
application cache group is not the same as manifest URL.
     Mark the entry for the resource from which document was taken in
the application cache from which it was loaded as foreign.

What is the intent? If the first or second condition is met, then mark
as foreign. Or is a then clause missing from the first condition?