Fix doseq+