Typo

Simple typo, nothing exciting.