FIX: ordered comparison with integer not allowed