user manual compiles under 0.7