HISTORY: EOF blank line removed