Doh, you're right, this is superfluous.