Typos

Or not, since this is not the same function.