fix small issues of docs