This comment belongs a couple of lines earlier...