Better formatting of comments in ringbuffer.h