Indentation.
Back button redirects to event's environment.
Navigation. Fix #3.