This is a slight redefinition of something in `docBuilder.py`, right?