fix bug in mk_to_inner: we need to return the right instance of to_inner