trivial bug fix on classpath() and source_path().