Fix names also in documentation.