Hm, it seems as much effort to have this comment as to just remove them?