Fix bad example.
Fix outdated info (outdated since 5.3.9).