You're right, that was a leftover from a previous approach! I've removed it now.