Fixed a nit in the deterministic random number generator found by Dmitry.