Bad bug in subst_list