fixed a few tiny documentation mistakes