Insert missing 'random' import. Fixes #22.