Minor change in text file so that the interpreter is happy