Fix a syntax error after the changes in the doc build system.