Fix issue with simseed.lua;