unnecessary

really unnecessary simplification. removed!