fixed kernel bug