minor change in idfreader.py