fixing minor typo

reading through the source, I found this minor typo ...