Boost bug fix