diff --git a/utils/xmldump.php b/utils/xmldump.php
index 21989ab4a..5b172c5df 100644
--- a/utils/xmldump.php
+++ b/utils/xmldump.php
@@ -425,7 +425,7 @@ function tree($folder, $parent=null, $indent='', $skipcurrent=false) { /* {{{ */
echo $indent." ".date('Y-m-d H:i:s', $file->getDate())."\n";
echo $indent." ".wrapWithCData($file->getFileType())."\n";
echo $indent." ".$file->getVersion()."\n";
- echo $indent." ".($file->isPublic() ? 1 : 0)."\n";
+ echo $indent." ".($file->isPublic() ? 1 : 0)."\n";
echo $indent." ".$owner->getId()."\n";
echo $indent." ".wrapWithCData($file->getComment())."\n";
echo $indent." ".wrapWithCData($file->getOriginalFileName())."\n";