typo

Just because it's so much fun to report typos via PRs! ;)