Very minor changes (comments).