Summing up some documentation massage.