minor format change in bin.xml