Minor fixes to assembly language specification