minor bugfix

Fix typo.