Fix error in sequence diagrams