Updating state transtion graph and the manual.