This can be deleted without any harm.