BUG: Wfpt.random is fixed