just a minor comment