(Rice) Compiles again