Yes you're quite right - I should have checked the code more closely.