This fixes an error in HTMLReporter when the configured seed is a number rather than a string, which has been allowed since 3.8.0
This fixes an error in HTMLReporter when the configured seed is a number rather than a string, which has been allowed since 3.8.0