(minor) formatting in libccxml.h