Correct mistake in verifying integer