Fix typo in DocDef