Yes you're right - I removed it...