Fix diagram in introduction
Formatting fixes