added a TeXed description