Replace "lista de instrucción" with "lista de instrucciones".
I don't know which is better, but the STYLE.TXT says to use the latter, possibly because it emphasizes that the list may contain multiple instructions.
Authored by: david_costanzo 2021-09-01
Parent: [r5776]
Child: [r5778]
