Perhaps, but it's not used anywhere anyway