make the whole "exception semantics" situation clearer.