Patched code deleted in previous commit.