And then we'll have to change this back to is_case_sensitive to jibe with what we're changing back in app.py.