Embarassing rounding error fixed

Sorry.