#318: helper.py, remove 38d36b6 using '<='