doc/history: documented a recent fix