Right, I'll add a comment explaining that, since it's not very clear...