Fix a silly error.