Shorten random seed to 4 digits. Fixes #6