minor python things