added a very minor comment