Small documentation fixes

Small typos here and there.