Minor update to the docs