True, can be removed. I believe it was never ever used.