Very minor pmartel feedback.
Merge pull request #620 from VoltDB/boost153

Very minor pmartel feedback. Ignore this.
Merge branch 'master' into ENG-4906