fixed two small bugs in documentation