Hoogle tests
Fix LaTeX test detection problem
Small cleanup.