No-op: tidying.