Prevent defining nested isolated contexts

Fixes #1349 

Includes one unrelated minor doc fix.