Refine CFEXtensions.m