Bugfix: wrong sign in regularized kernel