Comment change in undo-play.el