Small change to less-than translation