Fix bracket encoding bug in jlustre2kind