fixes (more) small bugs in docs