fix one janino example