Is using "13" here intentional?  Should it have been 14?