EOF Mark

Add the '[EOF]' mark to the end of the file.