Some python workaround