Minor performance tweaks: List -> array, removed two excessive multiply in Trace()