Corrected escape of semicolon after source-file command