the filibuster ended at 12 noon because of Senate rules or whatever was worked out with Reid beforehand.
That is exactly what I suspected.