Most of the user manual bug is gone...