Updated user manual slightly