fix consistency issues with update_kernel