Update manual on recent inner constructor changes

Fixes #7516.