document patch

Fixes #3238