If this is never called, maybe we can just remove it. After all, it's a one-liner, so it should be easy to recreate it should it be necessary later.