User manual fixes