No, you should only flatten if has_vec_fs(c).