Fixup: s/flatten/append/g in [Option.append]'s description.