Bugfix: rather nasty typo