Little fix of doc