Is the `doall` needed here?