Updated HISTORY with issue #1238