BUGFIX: plain multiplication seems to work now