style nit: `msg.randomSeed`