Why is this here?

Let's see if it now works...