Fix filename for user guide
Merge branch 'hotfix/#1284-user-guide/wrong-filename' into develop

Close #1284
Forward Port #1284