elment: fixed class name in __mul__ method