little fix in the docs