Fixed bad usage of latex macros in User Documentation