Is this really correct or just a typo?