oops, and the .lhs files too