Fix a minor issue