Minor change to comments to fix an error.