Docs instructions tweak