this line could go to the top of the file, don't you think?