Change kernel parameter type in the constructor