fixed examples in instr spec instructions