a few minor style fixes
Merge pull request #213 from G5/random-fixes

a few minor style fixes