Minor change: updated some paths