small python lib change