Style fix if there is a crash after kernel starts