Fix kernel invocation