Oops, a late API change in bug 23378 didn't get propagated.