Fixed some small bugs in docs.