Tiny changes to SeqScan