Checkpoint fixes for list_append.