Fixes to randomencounter