Small "typo" I found while reading