'with' is not a way to open a file