Updated formatting for lecture 1