Adding missing #endif caused by merge error.  Oops.
Added note about why we don't check that we're the only exception port before sending a reply.