Fix Jasmin code generation.