fix a bug in ExtSourceProperties