Trivial bug fix on {javaclasspath}.source_path()