fix erfa.py