Fixed documentation error in circular_buffer_close