small kernel fix