Should we maybe just nodoc it? I don't think it's supposed to be used publicly.