@cmr: Is this ok? Or would you rather it be `warn!`?