Minor comments added to emphasize things that are missing from the text.