Fix inappropriate use of size() in factorial(int).