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

Very minor pmartel feedback. Ignore this.