Report: Allen left C's despite no-trade