Update of formatting of lab4.