build.xml: minor tweaks to comments, indentation