Fix readNext and sequenceFileReadNext method definition