Fix kernel macro (issue #2)