Removed over-optimistic trace abbreviation