Thanks for spotting these - I don't think they are needed - they are left over from my debugging.