Agreed, it is however gone in more recent branches, so I did not think of it as needing removing here. This is probably annoying to anyone reading it here.  Push to come