Fixes to assembly language specification document