fixing tiny bugs

Two bugs that prevent code gen otto to actually work.