Fix Intro.lhs