This looks like a mistake