This comment is now unrelated to the code beneath it, and should be removed.