typo, minor addition