Small improvement to the docs