Update FiltResPropClean.sed