The is needed to ensure that the multiplication is correctly done. This was reported by Jinmei Tatuya.