View Source Patch.Case (patch v0.13.0)