Minor formatting changes to session class diagram