Fixed *Configure* getting incorrectly rendered as Configure* by doxygen.