fix #518: sorting of sources