Ah, yes - you're right. Upon further inspection, the 3,013' peak doesn't have nearly enough of a col.
Personally, I think it is kind of lame (and quite misleading) that this peak is called NW Lyon, given its position relative to Averill. That would be like calling Gray Peak "Northwest...