Fix code for US#12