diff --git a/grade/edit/tree/lib.php b/grade/edit/tree/lib.php
index 49af48745b2..ff8a99e1404 100644
--- a/grade/edit/tree/lib.php
+++ b/grade/edit/tree/lib.php
@@ -382,7 +382,7 @@ class grade_edit_tree {
     //Grader report has its own decimal place settings so they are handled elsewhere
     function format_number($number) {
         $formatted = rtrim(format_float($number, 4),'0');
-        if (substr($formatted, -1)=='.') { //if last char is the decimal point
+        if (substr($formatted, -1)==get_string('decsep', 'langconfig')) { //if last char is the decimal point
             $formatted .= '0';
         }
         return $formatted;