A little change in the partial-implementation