[cockroach labs employee here] Post corrected. Good catch. =)