fixed bug in boost