Fixed a bug (confusion with kernel versions)