Hm, I've forgotten why that comment is there. Leaving it as is works.