Another style correction in assignment 5.