fixed bug in Mikhails assembler
fixed bugs due to naming changes