Minor comment tweak.