Fixed lhs2tex error