Fix a bug in ParameterIdGenerator.get