Fixed a nit in the deterministic random number generator found by Dmitry.
Merge branch 'master' into extensions