Comment changes from Office Hours 9.5 (a)