Fix some bugs in documentation