instant update for formal parameters