Fix a docs warning.