It's a bit weird that you need this here even though the rest of the file doesn't use it