Some fixes applied to assembly code output