This was in fact originally introduced to correct a technical issue in the proof of Kearns and Vazirani (1994): such regions with probability exactly $\epsilon/4$ may not exist in general, except if the measure is assumed to be absolutely continuous. It is not hard to give a proof that holds in all cases though and this will be included in the second printing of this book.