Slightly updated notes.