Issue #38: Changed title of source explorer to file name