Another picture of Old Main.