fix mistypes in documentation