very minor API change