Correct HOWTO.
Merge branch 'hotfix/1.13.1'