Add patch to coral.

See #306.
Merge pull request #381 from degano/coral-patch

Coral patch.