fixing kernel bug