Fix some bugs in docs