bug fix: caching.py w.r.t. ignore_args