fixed a bug in instructions_all.html