minor changes with kernel dev