dtmc.rb changed