some more fixes to the instructions