some minor improvings about the doc