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.