Updated user manual a tiny bit (okay to ignore)