Minor changes of doc