BUGFIX: typo in Modular multiplication