minor API change