minor typo fix, found while debugging