Ah, you're right. This should be ok then.