Fixed a bug in useful-bpre.h