minor fix on Context Manager docs