more fixes for <zero/ring.h>