Added mention of setcdr