[michael] HOPEFULLY fixed the random option problem