Update history to reflect closing of #1388.