What is this for? I don't see it used in the rest of the code.