Require Ridley 0.8.5