Should this file be closed? http://docs.python.org/2/tutorial/inputoutput.html