fix trove.py