Use ValueError instead of string.atoi.error, since we've switched to

int().