Documentation: avoid stray backslash in user manual