BUGFIX: typo in rounding function