Should this be removed?

I'll merge it anyway; just a reminder in case it's needed.