(I'm assuming these two were typos, if they were intentional, I would
have expected explanatory comments.)