Comment out header alias (for now)