Minor update to the doc