Fix minor issues at documentation for release 4