Small fix with boost integration