fixup after lecture. see CHANGES.