Iterated belief revision, revised