Added a missing parameter to 2.3-5's BINARY-SEARCH argument list