Fix a simple mistake in Driver.getPropertyInfo()