Corrected bug with integer preferences