Minor fixup in configure.py