Fixing snafu with listfilter-min.js.