small updates in the instructions