Minor fix for context managers documentation