Yea I should remove that. The reason it's there is that people often copy&paste that text for use in other places, where it helps :)