Minor update of internal doc