Calling seq.flush() to improve deserialization