small fix in <zero/ring.h>