Fix BOOST error