Correcting a mistake in sources.js