Looks like a typo got into the code.