Bug #3014: fix xml formatting in fsck