Fix doc (again).