Fixes a bug inadvertently caused by 6c0a577 where setting update_seed