This looks like a mistake too.