Fixed: hotfix from dev- to fix rounding error