Isn't this redundant and not used anywhere anyway?