Correct printing of syntax