Fix broken doc (again).