removed confusing print of State in operation trace