This method has no usages; it should be added once it is needed somewhere.