Better reporting of wrong value for "choice" type