Update in documents and Travis build file