Fixes #113. Allow alternative definitions for 'sourcedocumentNames'