fix bug in compatibility.py