Should fix fun.py