Small additon and misspelling fixes to 07_binsearch