bug in evaluation of GT operator