Changes after lecture 8.5