Update BFOL.h