Diff jiffy-0.14.9 with a jiffy-0.14.11

Thank you!