rounding-fix for issue #5