Global.asax.cs: reformatted