Mundane typo?