fix for printing seeds from Options