I removed the comment. It seems that was never used and doesn't seems to make any sense now.