minor changed in kernel (yet slightly effective)