Fix errors in documentation caused by change in previous commits.