Leave it for now. Makes no harm. (I did not remember the history behind it.)