run3.rb: fixed