small typo fix (hopefully the last one ;-)