Fixing typo in user manual url.