Resolve "Fix minor issues at documentation for release 4" Closes #65 See merge request !71
mentioned in commit a4609883
mentioned in commit 0499768a