Fix a harmless warning.