Update syntax in ISA doc.