Use Alberto's modified kernel