Minor user manual fixes