Update BasicKernel.cs

Fix a typo.