a few more docs for instructions