Small update in the docs