Remove a tiny piece of lint from Configuration.py