#300: remove aa2495e using '<='