The rest of this file doesn't do that. I was just following the convention of this file.