Responder and initiator machines have been drawn. Plus minor fixes as usual.