Minor fix to building docs.