Good question. I just copied and pasted it from elsewhere in the file.