fixed simplification part