Fix errors in documentation