Edit: choicfmt.h