Update the docs for cork_ring_buffer
Fix a small naming inconsistency