* lib/irb.rb: Update restriction example