Fixed a compilation bug in OneBodyIntTraits.