Oops, 1337 is greater than 140, add workaround.