Fix the 'cat' command quotes in documentation (clone of PR#3414)