Fix mistypes in documentation