Fix harmless warning.