Added Jasmin to the terminal output