Fix outdated info (outdated since 5.3.9).