fixing a boost issue and some typos