RE: Can't typeset docs