Isn't it a copy-paste mistake?