we left also the initial definition because maybe someone else is still using that definition. but probably it can be removed safely