Document AlreadyFinalized.