Fixed recent "Minor comment harmonization".