Fixes typo in state diagram.