Minor modifications to todo.list handling