Merge branch 'replace-deprecated-random-module'

Fixes #7