If we don't have anything more informative to say, we could as well skip this comment altogether :-)