update with proper kernel