*8250* Fix section sequence casting