update for internal API change in rainbows.git