minor bugfix
Merge branch 'RC-2.3' of https://github.com/joergkappes/opengm into RC-2.3