That's right! I completely flubbed that part while doing some other edits! Thanks. What I wanted to say is there are O1 and O2 such that:

P^O1 strict subset NP^O1

and

P^O2 equals NP^O2