Removed some execution traces