This comment, and the line below, makes me wonder...