bugfix, strange rounding behavior...