Fix minor spacing issue in check_int (in data.py)