Fix lecture 4, committed tex instead of md.