Changed some formatting in Lab12