attempt to fix the empty kernel bug