Changed to make Section2.lhs compile