Found another case, and updated HISTORY