Another minor tweak to instructions