Minor fixes, including to multiplication/division.