Added comment (after end_of_file.) that describes a bug that I don't
have time to track down now. For future work...
Authored by: dwarren 2013-01-04
Parent: [r7695]
Child: [r7697]