Well, I looked further down the code and there are plenty more, so it hardly seems worth laboriously commenting them all!  I think it's fine.