quick fix for bug in python