fix greater-than encoding