tiny fix in the docs