Looks like it isn't used anymore and can be deleted.