Update pgen.rb