Editing: IsFinite.php