Another small tweak to the instructions