minor updates for those who use kernel 3.13