minor bugfix, typo