Fix typo with distributivity law.