fix argument of Machine#run and add default case to Machine#run