Revert bdcfb60a9a5257e77ae414c8533b6511e7116644

Since it broke the last example of BooleanOperations.html