Correct double /,+ distribution.

Looks like a possible typo, but perhaps wasn't showing up because of the previous "double *,+ distribute C" rule being applied before it.
Merge pull request #1 from zerebubuth/patch-1

Correct double /,+ distribution.