fixed a small typo that shouldn't affect anything