I'd prefer these string labels to be numeric strings ("1", "2"), just to be sure that we're not allowing conversion in the other direction.