randomconfig fixes

3 files changed