a little fix for include.xml