fixed bugs: Lanzos Procedures section now compiles