Minor update in the documentation