just a minor typing change