Clarify enter_context/exit_context behavior