Fix lecture8 formatting