Further user manual improvements