Bugfix for getmetrics.php