[p] Fix seed not being written to the file.