Improved Tamarin updating